#include "bsp_pkgs.h"


void bsp_init()
{
  bsp_agile_button_init();
  bsp_agile_leds_init();
  thread_init();
  disk_init();
}